операция НЕ-И (логическая связка)

См. также в других словарях:

• операция НЕ-И (логическая связка) — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики Булева алгебра, элементы цифровой техники EN N AND operation …   Справочник технического переводчика

• Логическая операция — В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и …   Википедия

• Троичные функции — Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где   троичное множество, а   неотрицательное целое число, которое называют арностью или местностью функции. Элементы множества  цифровые… …   Википедия

• ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… …   Философская энциклопедия

• Импликация — Импликация (лат. implicatio  связь)  бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… …   Википедия

• Высказывание (логика) — У этого термина существуют и другие значения, см. Высказывание. Высказывание  термин математической логики, обозначающий формализованную структурированную запись мысли с помощью буквенных символов и логических связок, рассматриваемую с точки …   Википедия

• Секвенциальная логика — Секвенциальная логика  это логика памяти цифровых устройств. Название «секвенциальная» восходит к англ. sequential. Соответствующая логика может именоваться также как последовательностная, хотя последний термин по преимуществу употребляется… …   Википедия

• Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

• отрицание —         ОТРИЦАНИЕ (в логике) специальная логическая операция. В зависимости от местоположения различают внешнее и внутреннее О., свойства и роли которых существенно различаются.         1. Внешнее О. (пропозициональное) служит для образования… …   Энциклопедия эпистемологии и философии науки

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• конъюнкция — (от лат. conjunctio союз, связь) логическая операция, с помощью которой два или более высказываний объединяются в новое сложное высказывание. Это новое высказывание называется конъюнктивным высказыванием или просто К. Символически конъюнктивная… …   Словарь терминов логики